Conformance Testing of Network Simulators Based on Metamorphic Testing Technique
نویسندگان
چکیده
Network simulators, which implement network protocols under some simulated conditions, have been widely used to analyze the feasibility of network protocols. Conformance testing of the simulator against the protocol is a very important task in the community of telecommunications. However, many current conformance testing methods face a problem of finding a systematic mechanism to verify the test outputs. This paper proposes to use an innovative testing approach, metamorphic testing (MT), to alleviate such a problem. We select one adhoc on-demand distance vector (AODV) simulator for study and test its conformance against the AODV protocol by the MT technique. Through our experiments, we illustrate the applicability of MT in the protocol conformance testing, confirm the reliability of the selected AODV simulator, and demonstrate the cost-effectiveness of MT using the mutation
منابع مشابه
Simulation-Based FlexRay
This article presents a case study on how the Open Verification Methodology (OVM) was successfully applied to implement a SystemVerilog simulation-based conformance test environment for next generation FlexRay TM 3.0 Communications System controllers. Complex application requirements and a need to run conformance tests on multiple vendor simulators, including Mentor’s Questa, with reliable, rep...
متن کاملHabilitationsschrift Model-Based Mutation Testing: Theory and Application
In this habilitation thesis we present our research on model-based mutation testing. Mutation testing is a way of assessing and improving a test suite by checking if its test cases can detect a number of injected faults in a program. The faults are introduced by syntactically changing the source code of a program. In our work we generalise mutation testing from program testing to modelbased tes...
متن کاملOn the integration of metamorphic testing and model checking
Metamorphic testing, an innovative software testing technique, generates test cases based on domain specific properties. Model checking is a technique that verifies software designs against system properties. Motivated by the fact that both techniques are based on some properties of software under development, we investigate how to integrate metamorphic testing and model checking. This paper wi...
متن کاملModel-Based Testing for Objective Fidelity Evaluation of Engineering and Research Flight Simulators
Simulator fidelity has been defined as the conformance of a flight simulator to the characteristics of the real aircraft. Objective fidelity evaluation is an engineering approach that attacks the fidelity problem with comparison of simulator and the actual system behavior over some quantitative measures. Testing can be pronounced as the fundamental mean for this comparison. From the utilization...
متن کامل